Pekakak adalah salah satu tokoh yang memiliki pengetahuan mendalam dan perencanaan yang cermat. Saat fajar menyingsing, ia terlihat bertengger di atas pohon. Dengan kemampuan sempurna untuk mengontrol kecepatan penerbangan miliknya, seperti kapan harus memperlambat atau mempercepat, dia dapat dengan mudah menghitung cara optimal untuk menangkap ikan.

We formalize what it means to have permission to say something. We adapt the dynamic logic of permission by van der Meyden (J Log Comput 6(3):465–479, 1996 ) to the case where atomic actions are public truthful announcements. We also add a notion of obligation. Our logic is an extension of the logic of public announcements introduced by Plaza ( 1989 ) with dynamic modal operators for permission and for obligation. We axiomatize the logic and show that it is decidable.

IΣ n andBΣ n are well known fragments of first-order arithmetic with induction and collection forΣ n formulas respectively;IΣ n 0 andBΣ n 0 are their second-order counterparts. RCA0 is the well known fragment of second-order arithmetic with recursive comprehension;WKL 0 isRCA 0 plus weak König's lemma. We first strengthen Harrington's conservation result by showing thatWKL 0 +BΣ n 0 is Π 1 1 -conservative overRCA 0 +BΣ n 0 . Then we develop some model theory inWKL 0 and illustrate (...) the use of formalized model theory by giving a relatively simple proof of the fact thatIΣ 1 provesBΣ n+1 to be Π n+2-conservative overIΣ n . Finally, we present a proof-theoretic proof of the stronger fact that theΠ n+2 conservation result is provable already inIΔ 0 + superexp. ThusIΣ n+1 proves 1-Con (BΣ n+1) andIΔ 0 +superexp proves Con (IΣ n )↔Con(BΣ n+1). (shrink)

Objective: The objectives of this study are to understand the current functions, structure and operation of hospital ethics committees (HECs) in Shanghai and to facilitate their improvement. Methods: (1) A questionnaire survey, (2) interviews with secretaries and (3) on-site document reviews of HECs in Shanghai were used in the study, which surveyed 33 hospitals. Results: In Shanghai, 57.56% of the surveyed hospitals established HECs from 1998 to 2005. Most HECs used bioethical review of research involving human subjects as well as (...) bioethical review or consultation regarding medical care services and administrative decision- making. Of the surveyed HECs, 14.3% did not provide any formal bioethical training to the HECs’ members and many HECs had no standard operating procedures. Some HECs had no clear definition of what was “conflict of interest” that should be considered by the HECs, while 44.4% of the HECs did not perform continuing review. Discussion: After the issues of related national regulations, more and more hospitals established HECs in Shanghai, but the functions of HECs need to be further developed and formal training on bioethics should be provided to HEC members. To assure the independence and good performance of HECs, the conflict of interest procedure, the standard operating procedures and bioethical review should be improved. Conclusion: HECs in Shanghai had developed in the preceding 10 years and they played great roles in protecting the rights and welfare of human subjects and patients; some areas need improvement. (shrink)

Two years after a five-year longitudinal study was undertaken in 1986, distinct characteristics of the female entrepreneur in Quebec are starting to emerge. This paper draws a general portrait of the female entrepreneur and examines certain features that have not been extensively studied in the past: age, family status, size and type of business, partnerships, motivation, obstacles, financing, and income evolution.

In ‘Wittgenstein on Language and Rules’, Professor N. Malcolm took us to task for misinterpreting Wittgenstein's arguments on the relationship between the concept of following a rule and the concept of community agreement on what counts as following a given rule. Not that we denied that there are any grammatical connections between these concepts. On the contrary, we emphasized that a rule and an act in accord with it make contact in language. Moreover we argued that agreement in judgments and (...) in definitions is indeed necessary for a shared language. But we denied that the concept of a language is so tightly interwoven with the concept of a community of speakers as to preclude its applicabilty to someone whose use of signs is not shared by others. Malcolm holds that ‘This is an unwitting reduction of Wittgenstein's originality. That human agreement is necessary for “shared” language is not so striking a thought as that it is essential for language simpliciter .’ Though less striking, we believe that it has the merit of being a true thought. We shall once more try to show both that it is correct, and that it is a correct account of Wittgenstein's arguments. (shrink)

This chapter contains sections titled: The Tractatus and rules of logical syntax From logical syntax to philosophical grammar Rules and rule‐formulations Philosophy and grammar The scope of grammar Some morals.

A business corporation capable of evolving, termed a learning corporation, has a conscious quality. It is the systemic version of a rigid structure-preserving corporation that would be expected eventually to run into problems and end up as a failure. The conscious corporation analogy can be used to simulate the sequence of processes that occur during Upasana, a Vedic technique of meditation. In this essay, it will be argued that the Vedic view of consciousness is parallel to the postulate that successful (...) business corporations have a conscious quality, and if the Upasana process sequence is considered as a competence model, in the Chomsky-ian sense for corporate consciousness, the executive functionary in a successful corporation is effectively a practitioner of Upasana. (shrink)